1. A practical logic of cognitive systems
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic
رده :
BC
71
.
G22P7
2. Agenda relevance :
پدیدآورنده : Dov M. Gabbay and John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Logic.
رده :
BC71
.
G315
2003eb
3. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
4. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay... [et al.], editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Law -- Methodology,حقوق -- روش‌شناسی
رده :
K212
.
A685
2010
6. Approaches to legal rationality /
پدیدآورنده : Dov M. Gabbay... [et al.], editors.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Law -- Methodology.,حقوق -- روش شناسی
رده :
K212
.
A68
7. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Law -- Methodology
رده :
K
212
.
A66
8. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... [et al.], editors
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Law--Methodology
9. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Methodology ، Law,Philosophy ، Law
رده :
K
212
.
A67
2010
10. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Law, Methodology
رده :
K
212
.
A685
2010
11. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. British Logic in the Nineteenth Century
پدیدآورنده : Gabbay, Dov M Compiler 5491 -
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
15
.
G3
H3
2008
13. Computational logic
پدیدآورنده : edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic.
14. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
15. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
16. Dynamic syntax : the flow of language understanding
پدیدآورنده : Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
موضوع : Grammar, Comparative and general -- Syntax,Linguistic analysis (Linguistics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Elementary Logics: A Procedural Perspective
پدیدآورنده : / Dov Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
18. Fibring logics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
19. Fibring logics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
20. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
